Compiler optimizations

Results: 530



#Item
11Software engineering / Compiler optimizations / Compiler construction / Programming language theory / Computing / Data-flow analysis / Control flow graph / Variable / Scope / Static single assignment form / Aliasing / Program analysis

Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2015-02-16 13:00:00
12Compiler optimizations / Computing / Program analysis / Abstract interpretation / Data-flow analysis / Abstraction / Static single assignment form / Graph / Bytecode / Register allocation / Algorithm / Academia

A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

Add to Reading List

Source URL: spw16.langsec.org

Language: English - Date: 2016-06-05 23:38:28
13Software engineering / Computer programming / Computing / Data types / Compiler optimizations / Cross-platform software / Procedural programming languages / Iterator / Object / Polytope model / Assignment / Type system

Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016

Add to Reading List

Source URL: lirias.kuleuven.be

Language: English - Date: 2016-01-16 02:32:56
14Software engineering / Computing / Compiler optimizations / Software / Compiler construction / Programming language implementation / Program analysis / Data types / Optimizing compiler / Program optimization / Compiler / Loop unrolling

Chapter 5 Optimizing Program Performance The biggest speedup you’ll ever get with a program will be when you first get it working. John K. Ousterhout The primary objective in writing a program must be to make it work

Add to Reading List

Source URL: csapp.cs.cmu.edu

Language: English - Date: 2010-02-14 14:17:24
15Software engineering / Computer programming / Computing / Cache / Computer memory / Compiler optimizations / Software optimization / Compiler construction / Optimizing compiler / Infinite loop / Trie / Cache memory

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2007; 19:2407–2423 Prepared using cpeauth.cls [Version: v2.02] Automated and accurate cache behavior analysis for

Add to Reading List

Source URL: www.des.udc.es

Language: English - Date: 2008-09-19 07:52:25
16Computer architecture / Computing / Computer engineering / Compiler optimizations / Software pipelining / Optimizing compiler / UltraSPARC / Loop unrolling / SPARC / Visual Instruction Set / Microarchitecture / 64-bit computing

Copyright 1999 IEEE. Published in the Proceedings of the Thirty-Third Asilomar Conference on Signals, Systems, and Computers, October, Pacific Grove, CA, USA. Real-Time High-Throughput Sonar Beamforming Kernel

Add to Reading List

Source URL: bevo.duckdns.org

Language: English - Date: 2010-02-15 01:30:13
17Software / Computing / Software metrics / Software testing / Array programming languages / Compiler optimizations / Linear algebra / MATLAB / Data-flow analysis / Code coverage / C++ classes / Subroutine

COMP 621 Program Analysis and Transformations Assignment #2 Using the McLab Framework for Analysis and Profiling Due: Monday October 26, 2015 Overview:

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2015-10-07 12:09:10
18Compiler optimizations / Computing / Software engineering / Software / Loop nest optimization / Stencil code / Roofline model / Stencil / Program optimization / Common subexpression elimination / CPU cache / Scalable locality

Auto-tuning the 27-point Stencil for Multicore Kaushik Datta2 , Samuel Williams1 , Vasily Volkov2 , Jonathan Carter1 , Leonid Oliker1 , John Shalf1 , and Katherine Yelick1 1 CRD/NERSC, Lawrence Berkeley National Laborat

Add to Reading List

Source URL: iwapt.org

Language: English - Date: 2009-08-03 20:59:23
19Software / Computing / Numerical linear algebra / Numerical software / Compiler optimizations / Automatically Tuned Linear Algebra Software / Basic Linear Algebra Subprograms / Kernel / Mathematical optimization / Program optimization / Static single assignment form / Loop unrolling

Automated Empirical Optimization of High Performance Floating Point Kernels R. Clint Whaley University of Texas, San Antonio and David B. Whalley

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2005-10-14 18:53:03
20Software engineering / Computing / Computer programming / Object-oriented programming languages / Subroutines / Scripting languages / Control flow / Compiler optimizations / Foreach loop / Scala / Inline expansion / D

The Optimizer in
 Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Why? •

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
UPDATE